1. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
Author: Benthem, J. F. A. K. van
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Time,، Ontology,، Tense )Grammar(,، Tense )Logic(
Classification :
BC
199
.
T4
.
B46
1991
